module Demo {
   interface HolaMundo {
      void saludar ();
   };
};